PET

Benchmark
Model:egl v.1 (DTMC)
Parameter(s)N = 10, L = 2
Property:unfairA (prob-reach)
Invocation (default)
./pet.sh reachability --precision 0.001 --relative-error --only-result -m egl.prism -p egl.props --property unfairA --const N=10,L=2
Execution
Walltime:464.5274019241333s
Return code:1
STDERR
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space: failed reallocation of scalar replaced objects